SherbyNet - /page/wikibook/entry.mu

<!DOCTYPE html>

<title>Complexe simplicial</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Complexe simplicial</h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="fr" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="fr" dir="ltr">En <a href="Math%C3%A9matiques" title="Mathématiques">mathématiques</a>, un complexe simplicial est un objet <a href="G%C3%A9om%C3%A9trie" title="Géométrie">géométrique</a> déterminé par une donnée <a href="Combinatoire" title="Combinatoire">combinatoire</a> et permettant de décrire certains <a href="Espace_topologique" title="Espace topologique">espaces topologiques</a> en généralisant la notion de <a href="Triangulation_(g%C3%A9om%C3%A9trie)" title="Triangulation (géométrie)">triangulation</a> d'une surface. Un tel objet se présente comme un graphe avec des sommets reliés par des arêtes, sur lesquelles peuvent se rattacher des faces triangulaires, elles-mêmes bordant éventuellement des faces de dimension supérieure, etc.

Cette structure est particulièrement utile en <a href="Topologie_alg%C3%A9brique" title="Topologie algébrique">topologie algébrique</a>, car elle facilite le calcul des groupes d'<a href="Homologie_et_cohomologie" title="Homologie et cohomologie">homologie</a> de certains espaces comme les <a href="Poly%C3%A8dre#Polyèdres_généraux" title="Polyèdre">polyèdres</a> et certaines <a href="Vari%C3%A9t%C3%A9_topologique" title="Variété topologique">variétés topologiques</a> qui admettent une décomposition en complexe simplicial.

La structure de complexe simplicial est enrichie dans celle d'<a href="Ensemble_simplicial" title="Ensemble simplicial">ensemble simplicial</a>, puis généralisée par celle de <a href="CW-complexe" title="CW-complexe">CW-complexe</a> en autorisant des rattachements de faces non combinatoires.

<div class="mw-heading mw-heading2"><h2 id="Approche_géométrique">Approche géométrique</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Définition">Définition</h3></div>

La définition de complexe simplicial géométrique<a href="#cite_note-1">[1]</a> fait appel à celle de simplexe affine. Dans un <a href="Espace_affine" title="Espace affine">espace affine</a> <a href="Nombre_r%C3%A9el" title="Nombre réel">réel</a> de dimension n, un <a href="Simplexe" title="Simplexe">simplexe</a> est défini comme l'<a href="Enveloppe_convexe" title="Enveloppe convexe">enveloppe convexe</a> d'un ensemble de n+1 points dont aucun ne peut être obtenu comme <a href="Barycentre_(g%C3%A9om%C3%A9trie_%C3%A9l%C3%A9mentaire)" class="mw-redirect" title="Barycentre (géométrie élémentaire)">barycentre</a> des autres. Ces points <a href="Gentil%C3%A9" title="Gentilé">sont appelés</a> les sommets du simplexe. L'ensemble des sommets peut être déduit du simplexe comme étant l'ensemble de ses <a href="Point_extr%C3%A9mal" class="mw-redirect" title="Point extrémal">points extrémaux</a>. Par exemple, un triangle ou un tétraèdre sont des simplexes, ayant respectivement 3 et 4 sommets. Un segment est aussi un simplexe dont les deux sommets sont ses extrémités.

Les faces d'un simplexe sont les enveloppes convexes des sous-ensembles des sommets. Le terme « face » comprend donc ici les sommets (singletons), les arêtes, les faces triangulaires et ainsi de suite en dimension supérieure.

Un complexe simplicial géométrique est un ensemble K de simplexes d'un <a href="Espace_affine" title="Espace affine">espace affine</a> tel que :

<ul><li>toutes les faces de chaque simplexe de K appartiennent aussi à K  ;</li>

<li>l'intersection de deux simplexes non disjoints doit exactement être une de leurs faces communes. Elle est l'enveloppe convexe de leurs sommets communs.</li></ul>

L'exemple le plus simple d'un complexe simplicial est l'ensemble des faces d'un simplexe. Ainsi, un <a href="Triangle" title="Triangle">triangle</a> est composé de trois sommets, trois côtés et une surface intérieure. Dans l'espace, un <a href="T%C3%A9tra%C3%A8dre" title="Tétraèdre">tétraèdre</a> est composé de quatre sommets, de six arêtes, de quatre faces triangulaires et d'un volume intérieur.

<div class="mw-heading mw-heading3"><h3 id="Polyèdre_et_triangulation">Polyèdre et triangulation</h3></div>

Le polyèdre associé à un complexe simplicial géométrique K est simplement la réunion de tous les simplexes qu'il contient. Il est noté |K|. La donnée d'un complexe simplicial et d'un <a href="Hom%C3%A9omorphisme" title="Homéomorphisme">homéomorphisme</a> entre son polyèdre et un espace topologique X constitue une triangulation de X.

Ainsi un <a href="Cube" title="Cube">cube</a> ne se présente pas naturellement comme un complexe simplicial, notamment parce que ses faces ne sont pas triangulaires, mais il admet plusieurs triangulations possibles parce que chaque face peut être divisée en deux triangles.

<div class="mw-heading mw-heading3"><h3 id="Application_simpliciale">Application simpliciale</h3></div>

Une application simpliciale entre deux complexes simpliciaux est une application continue entre leurs polyèdres qui associe aux sommets de chaque simplexe des sommets d'un même simplexe (sans être nécessairement injective) et dont la restriction à chaque simplexe est affine. Une telle application est donc complètement déterminée par les images des sommets.

Ces applications simpliciales permettent d'approcher n'importe quelle application continue entre deux espaces triangulés.

<div class="mw-heading mw-heading2"><h2 id="Approche_combinatoire">Approche combinatoire</h2></div>

Puisque chaque simplexe est entièrement déterminé par l'ensemble de ses sommets, un complexe simplicial géométrique peut être identifié à l'aide d'un objet combinatoire associé : le complexe simplicial abstrait.

<div class="mw-heading mw-heading3"><h3 id="Définition_2">Définition</h3></div>

Un complexe simplicial abstrait est la donnée d'un <a href="Ensemble" title="Ensemble">ensemble</a> V (dont les éléments sont appelés sommets) et d'un ensemble Σ de parties finies non vides (les faces) de V qui soit stable par sous-parties non vides. Autrement dit, toute partie non vide d'une face est aussi une face. Il est en général requis que tout sommet appartienne à un nombre fini non nul de faces.

Les faces de <a href="Cardinal_d'un_ensemble_fini" class="mw-redirect" title="Cardinal d'un ensemble fini">cardinal</a> 2 sont aussi appelées arêtes en référence au vocabulaire de la <a href="Th%C3%A9orie_des_graphes" title="Théorie des graphes">théorie des graphes</a>. Par analogie, pour tout entier n, une face de dimension n (dite aussi n-face) est une face de cardinal n + 1.

Si la dimension des faces est bornée, la dimension d'un complexe simplicial est la dimension maximale des faces. Dans le cas contraire, cette dimension est infinie. Le f-vecteur d'un complexe simplicial abstrait de dimension d est par définition la suite finie (f0 = 1, f1, …, fd + 1) où fn + 1 est le nombre de n-faces. Une caractérisation des suites finies d'entiers qui sont des f-vecteurs est donnée par le <a href="Th%C3%A9or%C3%A8me_de_Kruskal-Katona" title="Théorème de Kruskal-Katona">théorème de Kruskal-Katona</a>.

Un complexe de dimension 0 est donc simplement un ensemble sans structure additionnelle. Un complexe de dimension 1 est un <a href="Th%C3%A9orie_des_graphes" title="Théorie des graphes">graphe</a>.

La relation de sous-complexe est définie par l'inclusion de l'ensemble des sommets et l'inclusion de l'ensemble des faces.

<div class="mw-heading mw-heading3"><h3 id="Cas_particuliers_et_opérations">Cas particuliers et opérations</h3></div>

<ul><li>Sur tout ensemble X sans structure additionnelle, il existe un unique complexe simplicial (combinatoire) de dimension 0. Il s'agit de l'ensemble des singletons de X. Sa réalisation topologique est X muni de la <a href="Topologie_discr%C3%A8te" title="Topologie discrète">topologie discrète</a>.</li>

<li>Sur tout ensemble fini non vide V de cardinal n + 1, il existe un unique complexe simplicial de dimension n, défini par l'ensemble des sous-parties non vides de V. Sa réalisation topologique est un simplexe de dimension n.</li>

<li>Plus généralement, pour tout ensemble V et pour tout entier naturel n, l'ensemble 𝒫n(V) des parties de V de cardinal au plus n + 1 forme un complexe simplicial de dimension n.</li>

<li>Pour tout entier naturel n, le <a href="N-squelette" title="N-squelette">n-squelette</a> d'un complexe simplicial (V, Σ) est défini par l'ensemble des faces de dimension inférieure ou égale à n. Autrement dit, Σn = Σ ⋂ 𝒫n(V).</li>

<li>La restriction d'un complexe simplicial à un sous-ensemble de sommets est défini par l'ensemble des faces incluses dans ce sous-ensemble. Autrement dit, Σ|W = 𝒫(W) ⋂ Σ.</li>

<li>La réunion de deux complexes simpliciaux ayant des ensembles de sommets disjoints est définie par les réunions de faces (α∪β) où α et β sont des faces respectives des complexes initiaux.</li>

<li>La subdivision barycentrique <a href="https://en.wikipedia.org/wiki/Barycentric_subdivision" class="extiw external" title="en:Barycentric subdivision">(en)</a> d'un complexe simplicial K = (V, Σ) a pour sommets les faces de K et pour faces les ensembles finis non vides de faces de K totalement ordonnés par l'inclusion. La subdivision barycentrique d'un triangle plein est ainsi composée de sept sommets, de douze arêtes et de six faces triangulaires.</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Réalisation_géométrique">Réalisation géométrique</h3></div>

Étant donné un complexe simplicial K = (V ; Σ), sa réalisation géométrique (notée |K|) est un espace topologique construit par recollement de <a href="Simplexe" title="Simplexe">simplexes</a>, qui étendent en toute dimension la suite : segment, triangle, tétraèdre…

<div class="mw-heading mw-heading4"><h4 id="Constructions">Constructions</h4></div>

Puisque l'intersection de deux simplexes du complexe doit être une de leurs faces communes, un point de |K| est identifié de façon unique comme barycentre de certains sommets de V (il y aurait plusieurs barycentres possibles si les simplexes s'inter-pénétraient). Une première méthode de construction est donc l'ensemble des coordonnées barycentriques :

</mrow>

</mrow>

<mrow>

<mrow>

</mrow>

</mrow>

</mrow>

</mrow>

</munder>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |K|=\left\{\lambda :V\to [0,1]\;\;/\;{\text{Supp}}(\lambda )\in \Sigma \;{\text{ et }}\sum _{v\in V}\lambda (v)=1\right\}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/1acc922eb5ea7450c2436eb06e503d9f7ad5a878.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:55.928ex; height:7.509ex;" alt="{\displaystyle |K|=\left\{\lambda :V\to [0,1]\;\;/\;{\text{Supp}}(\lambda )\in \Sigma \;{\text{ et }}\sum _{v\in V}\lambda (v)=1\right\}}" loading="lazy"></dd></dl>

où Supp(λ), le support de λ, est l'ensemble des sommets de V où λ est non nulle, ie les sommets qu'elle utilise pour barycentrer.

Reste à munir |K| d'une topologie. Si l'ensemble V des sommets est de cardinal s <a href="Ensemble_fini" title="Ensemble fini">fini</a>, |K| est une partie de l'hypercube [0,1]s et hérite de sa topologie. Si V est infini, la topologie à considérer n'est pas la <a href="Topologie_produit" title="Topologie produit">topologie produit</a> mais la <a href="Topologie_coh%C3%A9rente" title="Topologie cohérente">topologie cohérente</a> ou topologie faible. L'adjectif « faible » (en anglais : weak) se retrouve dans le « W » de <a href="CW-complexe" title="CW-complexe">CW-complexe</a>. Concrètement, on souhaite que les faces de jointure soient des fermés non ouverts de |K|, ce qui amène à définir sa topologie par ses fermés :

</mrow>

</mrow>

</mrow>

<mrow>

<mrow>

</mrow>

</mrow>

</mrow>

<mtext> fermé de </mtext>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\mathcal {F}}(|K|)=\left\{F\subset |K|\;\;/\;\;\forall \sigma \in \Sigma ,\;F\cap \sigma {\text{ fermé de }}\sigma \right\}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f7cfa27d510828cf24577f8d9a4f16e877450bd2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:51.115ex; height:4.843ex;" alt="{\displaystyle {\mathcal {F}}(|K|)=\left\{F\subset |K|\;\;/\;\;\forall \sigma \in \Sigma ,\;F\cap \sigma {\text{ fermé de }}\sigma \right\}}" loading="lazy"></dd></dl>

Une autre méthode consiste à définir une union disjointe de tous les simplexes à l'aide de coordonnées barycentriques puis à la quotienter de façon à réaliser le recollement, autrement dit :

<msub>

</mrow>

</msub>

<mrow>

<mrow>

<msup>

</mrow>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

</munder>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \forall \alpha \in \Sigma ,\ \Delta _{\alpha }=\left\{\lambda \in (\mathbb {R} ^{+})^{\alpha },\sum _{v\in \alpha }\lambda (v)=1\right\},}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/a577a652fa927b17f3dec676707ecba29e18be65.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:43.82ex; height:7.509ex;" alt="{\displaystyle \forall \alpha \in \Sigma ,\ \Delta _{\alpha }=\left\{\lambda \in (\mathbb {R} ^{+})^{\alpha },\sum _{v\in \alpha }\lambda (v)=1\right\},}" loading="lazy"></dd>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</mrow>

</msub>

<msub>

</mrow>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \forall \beta \subset \alpha ,\ \forall \lambda \in \Delta _{\alpha },\ (\lambda _{|\alpha -\beta }=0\Rightarrow \lambda \sim \lambda _{|\beta })}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/2add863b613ed10d91e5103b70c1500c99ac3c1d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.171ex; width:41.59ex; height:3.176ex;" alt="{\displaystyle \forall \beta \subset \alpha ,\ \forall \lambda \in \Delta _{\alpha },\ (\lambda _{|\alpha -\beta }=0\Rightarrow \lambda \sim \lambda _{|\beta })}" loading="lazy"></dd>

</mrow>

</mrow>

</mrow>

</munder>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |K|=\bigsqcup _{\alpha \in \Sigma }\Delta _{\alpha }/\sim .}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/961948b07a23fff8ef3528bd11d3d32ea965ffcc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:17.663ex; height:5.676ex;" alt="{\displaystyle |K|=\bigsqcup _{\alpha \in \Sigma }\Delta _{\alpha }/\sim .}" loading="lazy"></dd></dl>

L'intérêt de cette seconde méthode est qu'elle s'étend à la réalisation des ensembles simpliciaux.

<div class="mw-heading mw-heading4"><h4 id="Propriétés">Propriétés</h4></div>

Cette topologie confère à |K| une structure de <a href="CW-complexe" title="CW-complexe">CW-complexe</a>. En particulier, un complexe simplicial est un espace topologique <a href="Espace_s%C3%A9par%C3%A9" title="Espace séparé">séparé</a> et même <a href="Espace_normal" title="Espace normal">normal</a>. Une partie de cet espace est fermée si et seulement si son intersection avec chaque cellule (ici les cellules sont les n-faces) est fermée.

<ul><li>Un complexe simplicial de dimension 0 est un espace topologique discret.</li>

<li>Un complexe simplicial de dimension 1 est un graphe.</li>

<li>Un complexe simplicial de dimension 2 est un espace <a href="Triangulation" title="Triangulation">triangulé</a>.</li>

<li>Plus généralement, en toute dimension, on appelle <a href="Triangulation" title="Triangulation">triangulation</a> d'un espace topologique un <a href="Hom%C3%A9omorphisme" title="Homéomorphisme">homéomorphisme</a> entre cet espace et un complexe simplicial. Bien sur, tout espace topologique n'est pas triangulable.</li></ul>

Cette construction historique est assez restrictive :

<ul><li>Dans cette construction, les sommets d'une face sont distincts ; de plus, deux faces ne peuvent pas avoir exactement les mêmes sommets. Il faut par exemple au minimum 14 triangles, 21 arêtes et 7 sommets pour trianguler un tore (ce qui donne le <a href="Poly%C3%A8dre_de_Cs%C3%A1sz%C3%A1r" title="Polyèdre de Császár">polyèdre de Császár</a>). D'où l'idée de lever ces restrictions. Cela mène à la structure de ∆-complexe. Avec cette nouvelle structure, deux triangles suffisent pour représenter un tore, une sphère ou un plan projectif. le calcul des groupes d'homologie s'en trouve grandement simplifié.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="∆-complexe">∆-complexe</h2></div>

Les ∆-complexes généralisent les complexes simpliciaux avec une construction similaire à celle des <a href="CW-complexe" title="CW-complexe">CW-complexes</a>.

On appelle <a href="Simplexe" title="Simplexe">simplexe</a> standard ∆n de dimension n l'enveloppe convexe dans ℝn des points <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle e_{0}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle e_{0}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/51703931b2ce836f3a377076756262596e4348e3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.138ex; height:2.009ex;" alt="{\displaystyle e_{0}}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle e_{1}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle e_{1}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/6e81caf3d4bcb929315801cbabc83543829484ee.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.138ex; height:2.009ex;" alt="{\displaystyle e_{1}}" loading="lazy">, ..., <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle e_{n}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle e_{n}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/a2927145d553bce5c9187e1a226f77bb1ab59aaf.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.302ex; height:2.009ex;" alt="{\displaystyle e_{n}}" loading="lazy">, où <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle e_{0}=(0,...,0)}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle e_{0}=(0,...,0)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/9b371e10d307ada699d59b920dc96a6d7a25179c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.54ex; height:2.843ex;" alt="{\displaystyle e_{0}=(0,...,0)}" loading="lazy"> et où <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle e_{i}=(0...,0,1,0,...,0)}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle e_{i}=(0...,0,1,0,...,0)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/294a1f92046bad7de72510f1f4cad393cf238489.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:22.815ex; height:2.843ex;" alt="{\displaystyle e_{i}=(0...,0,1,0,...,0)}" loading="lazy">, le 1 étant placé à la i-ème position. L'ordre des sommets du simplexe standard a ici une importance capitale : non seulement, il oriente le simplexe lui-même mais en plus, il fournit automatiquement une orientation automatique de toutes les faces ; Le signe de l'orientation intervient dans la définition du bord ci-dessous.

Pour définir un ∆-complexe, on commence par prendre la <a href="R%C3%A9union_disjointe" title="Réunion disjointe">réunion disjointe</a> d'une famille de simplexes standards disjoints (de dimension variable) . On quotiente alors l'espace topologique obtenu par une <a href="Relation_d'%C3%A9quivalence" title="Relation d'équivalence">relation d'équivalence</a> que l'on définit de la façon suivante : On choisit arbitrairement une collection de familles de faces de même dimension (une dimension par famille de faces), chaque face faisant partie de l'un des simplexes dont on vient de faire la réunion disjointe (rien n'empêche de prendre plusieurs faces du même simplexe). On identifie alors toutes les faces de chaque famille en utilisant les <a href="Application_lin%C3%A9aire" title="Application linéaire">applications linéaires</a> préservant l'ordre des sommets. Notez qu'un effet collatéral est l'identification de certains sommets.

Les ∆-complexes peuvent sembler plus généraux que les complexes simpliciaux mais en fait tout ∆-complexe est <a href="Hom%C3%A9omorphe" class="mw-redirect" title="Homéomorphe">homéomorphe</a> à un complexe simplicial. Il suffit en effet d'effectuer deux subdivisions barycentrique successives pour transformer un ∆-complexe en complexe simplicial.

<div class="mw-heading mw-heading2"><h2 id="Exemples">Exemples</h2></div>

<ul><li>Le <a href="Tore" title="Tore">tore</a> - Il est possible de trianguler le tore avec un sommet s, trois arêtes a,b,c et deux faces R et V. On part de la représentation classique du tore par un carré dont on recolle les côtés opposés et on coupe ce carré en deux pour obtenir des triangles. On obtient ainsi une structure de ∆-complexe. La <a href="Bouteille_de_Klein" title="Bouteille de Klein">bouteille de Klein</a> peut aussi être triangulée de la même façon, mais en inversant le sens d'une des connexions entre les deux triangles.</li>

<li>Le <a href="Ruban_de_Moebius" class="mw-redirect" title="Ruban de Moebius">ruban de Moebius</a> - Le ruban de Moebius diffère du tore de deux manières. D'une part, on ne recolle qu'un bord du carré, le deuxième bord reste libre. D'autre part, on fait pivoter avant de recoller. D'où le diagramme ci-contre. Cette fois, on a deux sommets s et t, quatre arêtes a, b, c et d et toujours deux faces R et V.</li>

<li>Le <a href="Plan_projectif" title="Plan projectif">plan projectif</a> - Le plan projectif est plus difficile à visualiser vu qu'il ne se plonge pas dans l'espace usuel. On l'obtient en recollant les bords du ruban de Moebius suivant le diagramme. Il existe une autre façon de recoller qui elle donne une <a href="Bouteille_de_Klein" title="Bouteille de Klein">bouteille de Klein</a>. (Dans ce cas il n'y aura qu'un seul sommet comme pour le tore.) Ici, on a deux sommets s et t, trois arêtes a, b, c et deux faces R et V.</li></ul>

</li>

<div class="gallerytext">Le ruban de Moebius</div>

</li>

<div class="gallerytext">Le plan projectf</div>

</li>

</ul></center>

<div class="mw-heading mw-heading2"><h2 id="Homologie_simpliciale">Homologie simpliciale</h2></div>

Considérons un ∆-complexe X = (A0, … , An) où A0 est l'ensemble des sommets et An l'ensemble des n-faces.

Pour chaque entier naturel n, on note ∆n(X) le <a href="Groupe_ab%C3%A9lien_libre" title="Groupe abélien libre">groupe abélien libre</a> de base An. Les éléments de ∆n(X) seront appelés les n-chaines. En d'autres termes, une n-chaine est une <a href="Combinaison_lin%C3%A9aire" title="Combinaison linéaire">combinaison linéaire</a> à coefficients entiers de n-faces du complexe X.

On définit le bord d'un simplexe de la façon suivante :

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</munderover>

<msup>

</mrow>

</msup>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \partial [s_{0},\dots ,s_{n}]=\sum _{i=0}^{n}(-1)^{i}[s_{0},\dots ,s_{i-1},s_{i+1}\dots ,s_{n}].}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/dd2a752e203fe62870460e66d836717ad785a418.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.005ex; width:49.396ex; height:6.843ex;" alt="{\displaystyle \partial [s_{0},\dots ,s_{n}]=\sum _{i=0}^{n}(-1)^{i}[s_{0},\dots ,s_{i-1},s_{i+1}\dots ,s_{n}].}" loading="lazy"></center>

Par exemple :

<ul><li>Le bord d'un segment est égal à son extrémité moins son origine : ∂[a, b] = [b] – [a] ;</li>

<li>le bord d'un triangle est égal à la somme des trois côtés avec un signe moins tenant compte de l'orientation : ∂[a, b, c] = [a, b] – [a, c] + [b, c] ;</li>

<li>le bord d'un tétraèdre est donné par la formule : ∂[a, b, c, d] = [b, c, d] – [a, c, d] + [a, b, d] – [a, b, c].</li></ul>

Par linéarité, le bord se prolonge en un <a href="Morphisme_de_groupes" title="Morphisme de groupes">morphisme de groupes</a> ∂n de ∆n(X) vers ∆n–1(X). On a ∂n–1∘∂n = 0 et l'on obtient ainsi un <a href="Complexe_de_cha%C3%AEnes" class="mw-redirect" title="Complexe de chaînes">complexe de chaînes</a>. Les groupes d'homologie de l'espace X sont les Hk(X) = ker ∂k / lm ∂k+1.

Même si ce n'est pas évident a priori, si deux ∆-complexes sont homéomorphes et plus généralement, s'ils <a href="%C3%89quivalence_d'homotopie" title="Équivalence d'homotopie">ont le même type</a> d'<a href="Homotopie" title="Homotopie">homotopie</a>, alors leurs groupes d'homologie sont identiques.

<div class="mw-heading mw-heading2"><h2 id="Calculs_effectifs">Calculs effectifs</h2></div>

On peut vérifier sur quelques exemples que le calcul des groupes d'homologie d'un espace triangulé par un ∆-complexe est un jeu d'enfants.

<div class="mw-heading mw-heading3"><h3 id="Homologie_du_tore">Homologie du tore</h3></div>

Dans le cas du tore T, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{0}(T)=\mathbb {Z} .s}">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{0}(T)=\mathbb {Z} .s}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ea870d615b4891a0ef705cfdc42652460b4ae6bb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.209ex; height:2.843ex;" alt="{\displaystyle \Delta _{0}(T)=\mathbb {Z} .s}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{1}(T)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{1}(T)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/c784f09c1375debd4bbd1359468b4f698dcf5b3d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:26.202ex; height:2.843ex;" alt="{\displaystyle \Delta _{1}(T)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{2}(T)=\mathbb {Z} .R\oplus \mathbb {Z} .V}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{2}(T)=\mathbb {Z} .R\oplus \mathbb {Z} .V}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7f8d4b8545645f98567f1e5604118c5d41b6286d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.094ex; height:2.843ex;" alt="{\displaystyle \Delta _{2}(T)=\mathbb {Z} .R\oplus \mathbb {Z} .V}" loading="lazy">.

L'application <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \delta _{1}:\Delta _{1}(T)\to \Delta _{0}(T)}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{1}:\Delta _{1}(T)\to \Delta _{0}(T)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/34f4ecce3be0a54db9729b0f2dbb21d8999fb8f1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:20.509ex; height:2.843ex;" alt="{\displaystyle \delta _{1}:\Delta _{1}(T)\to \Delta _{0}(T)}" loading="lazy"> est nulle (voir le schéma). D'autre part <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \delta _{2}(R)=c-b-a}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{2}(R)=c-b-a}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/af22bd841f72725fb456ffefdd31ddbbead68ab8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:17.673ex; height:2.843ex;" alt="{\displaystyle \delta _{2}(R)=c-b-a}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \delta _{2}(V)=b+a-c}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{2}(V)=b+a-c}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7163f3d422bab7ae9661ee6332a22f8b6a2048b9.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:17.697ex; height:2.843ex;" alt="{\displaystyle \delta _{2}(V)=b+a-c}" loading="lazy">.

Vu que <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \delta _{1}=0}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{1}=0}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ae3327decf9d29d1909f4dcd4af837d0abb259d3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:6.348ex; height:2.676ex;" alt="{\displaystyle \delta _{1}=0}" loading="lazy">, on a <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{0}(T)=\Delta _{0}(T)\sim \mathbb {Z} }">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{0}(T)=\Delta _{0}(T)\sim \mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/bf184b13ca191642cf5ea199e2be7725e93f77a4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:20.614ex; height:2.843ex;" alt="{\displaystyle H_{0}(T)=\Delta _{0}(T)\sim \mathbb {Z} }" loading="lazy">. D'autre part <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Im\;\delta _{2}=\mathbb {Z} .(a+b-c)}">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Im\;\delta _{2}=\mathbb {Z} .(a+b-c)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/a45b2631db8a68f3b743e15cc5c9b9465272097d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:22.351ex; height:2.843ex;" alt="{\displaystyle Im\;\delta _{2}=\mathbb {Z} .(a+b-c)}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Ker\;\delta _{2}=\mathbb {Z} .(R-V)}">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Ker\;\delta _{2}=\mathbb {Z} .(R-V)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/336b8ca36a0f8a7c9cfdb7eb05f33644a31d00c0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:20.814ex; height:2.843ex;" alt="{\displaystyle Ker\;\delta _{2}=\mathbb {Z} .(R-V)}" loading="lazy">, ce qui donne <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{1}(T)=\Delta _{1}(T)/Im\;\delta _{2}\sim \mathbb {Z} ^{2}}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<msub>

</mrow>

</msub>

<msup>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{1}(T)=\Delta _{1}(T)/Im\;\delta _{2}\sim \mathbb {Z} ^{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ae4e2097ba8394f81d85a3b49120cead5f9a82cd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:28.775ex; height:3.176ex;" alt="{\displaystyle H_{1}(T)=\Delta _{1}(T)/Im\;\delta _{2}\sim \mathbb {Z} ^{2}}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{2}(T)=Ker\;\delta _{2}\sim \mathbb {Z} }">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{2}(T)=Ker\;\delta _{2}\sim \mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/69e5ad939d00f17be22be19f0d2f7d885ad0890f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.108ex; height:2.843ex;" alt="{\displaystyle H_{2}(T)=Ker\;\delta _{2}\sim \mathbb {Z} }" loading="lazy">.

On peut interpréter les choses ainsi : <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{0}(T)=\mathbb {Z} }">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{0}(T)=\mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/104bcc32ffae3bc0b261a1090d2b138700860afc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.08ex; height:2.843ex;" alt="{\displaystyle H_{0}(T)=\mathbb {Z} }" loading="lazy"> signifie que T est connexe. <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{1}(T)=\mathbb {Z} ^{2}}">

<msub>

</mrow>

</msub>

<msup>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{1}(T)=\mathbb {Z} ^{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/043ce3e56b0d1e9c98cc9ad7ec0c2674bfcbc6ea.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.134ex; height:3.176ex;" alt="{\displaystyle H_{1}(T)=\mathbb {Z} ^{2}}" loading="lazy"> signifie que T se referme sur lui-même dans deux directions différentes. <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{2}(T)=\mathbb {Z} }">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{2}(T)=\mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/5c9ba7aa7e254269a378343c48e411e0c4a8a449.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.08ex; height:2.843ex;" alt="{\displaystyle H_{2}(T)=\mathbb {Z} }" loading="lazy"> signifie que T enferme un volume.

<div class="mw-heading mw-heading3"><h3 id="Homologie_du_ruban_de_Moebius">Homologie du ruban de Moebius</h3></div>

Dans le cas du ruban de Moebius, M, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{0}(M)=\mathbb {Z} .s\oplus \mathbb {Z} .t}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{0}(M)=\mathbb {Z} .s\oplus \mathbb {Z} .t}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/c0e179fc7a552d5078a0ed02976ffc018e870469.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:20.279ex; height:2.843ex;" alt="{\displaystyle \Delta _{0}(M)=\mathbb {Z} .s\oplus \mathbb {Z} .t}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{1}(M)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c\oplus \mathbb {Z} .d}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{1}(M)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c\oplus \mathbb {Z} .d}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/60227afed6a586b0ad39bbfe719f856e9dcf6cb7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:33.648ex; height:2.843ex;" alt="{\displaystyle \Delta _{1}(M)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c\oplus \mathbb {Z} .d}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{2}(M)=\mathbb {Z} .R\oplus \mathbb {Z} .V}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{2}(M)=\mathbb {Z} .R\oplus \mathbb {Z} .V}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/e58c7d44a98b1dd8d9a4415b95d6910b372928d0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.9ex; height:2.843ex;" alt="{\displaystyle \Delta _{2}(M)=\mathbb {Z} .R\oplus \mathbb {Z} .V}" loading="lazy">.

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{1}(a)=\delta _{1}(b)=t-s,\ \delta _{1}(c)=0,\ \delta _{1}(d)=s-t}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/51d3768e7e119a385ceb3bf3148bb5dbcbe97f65.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:46.36ex; height:2.843ex;" alt="{\displaystyle \delta _{1}(a)=\delta _{1}(b)=t-s,\ \delta _{1}(c)=0,\ \delta _{1}(d)=s-t}" loading="lazy"> et donc <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{0}(M)=\Delta _{0}(M)/Im\ \delta _{1}\sim \mathbb {Z} }">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{0}(M)=\Delta _{0}(M)/Im\ \delta _{1}\sim \mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d0cca5f4e7a8311499cb47f6420e45f6895db0dc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:29.268ex; height:2.843ex;" alt="{\displaystyle H_{0}(M)=\Delta _{0}(M)/Im\ \delta _{1}\sim \mathbb {Z} }" loading="lazy">.

On a <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Ker\ \delta _{1}=\mathbb {Z} .c+\mathbb {Z} (b-a)+\mathbb {Z} (a+d)}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Ker\ \delta _{1}=\mathbb {Z} .c+\mathbb {Z} (b-a)+\mathbb {Z} (a+d)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f7330fe40908ff11b96347700706162e9359b347.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:36.309ex; height:2.843ex;" alt="{\displaystyle Ker\ \delta _{1}=\mathbb {Z} .c+\mathbb {Z} (b-a)+\mathbb {Z} (a+d)}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Im\ \delta _{2}=\mathbb {Z} .(b-a-c)+\mathbb {Z} .(c-d-a)}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Im\ \delta _{2}=\mathbb {Z} .(b-a-c)+\mathbb {Z} .(c-d-a)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f3e7cb61ed5e73a183b3c1b5fc060cf004c741ec.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:38.654ex; height:2.843ex;" alt="{\displaystyle Im\ \delta _{2}=\mathbb {Z} .(b-a-c)+\mathbb {Z} .(c-d-a)}" loading="lazy">. Finalement <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{1}(M)\sim \mathbb {Z} }">

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{1}(M)\sim \mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/245c2ed9c7786d1cad76ced40dae6c7c861a3f89.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.886ex; height:2.843ex;" alt="{\displaystyle H_{1}(M)\sim \mathbb {Z} }" loading="lazy">.

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28152a70ffd4f5ba1fd1cf6b8f98c02c952a3002.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.087ex; height:2.676ex;" alt="{\displaystyle \delta _{2}}" loading="lazy"> est injective donc <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{2}(M)=0}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{2}(M)=0}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/477646894ecc2e225e35b9f839df7d607876a6fe.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.498ex; height:2.843ex;" alt="{\displaystyle H_{2}(M)=0}" loading="lazy">.

<div class="mw-heading mw-heading3"><h3 id="Homologie_du_plan_projectif">Homologie du plan projectif</h3></div>

Dans le cas du plan projectif, P, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{0}(P)=\mathbb {Z} .s\oplus \mathbb {Z} .t}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{0}(P)=\mathbb {Z} .s\oplus \mathbb {Z} .t}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/c0ec791b0ac205a69a5b69e25e72dad548b39754.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:19.582ex; height:2.843ex;" alt="{\displaystyle \Delta _{0}(P)=\mathbb {Z} .s\oplus \mathbb {Z} .t}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{1}(P)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{1}(P)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/fab35cf7176899188779c14381081084f047a001.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:26.311ex; height:2.843ex;" alt="{\displaystyle \Delta _{1}(P)=\mathbb {Z} .a\oplus \mathbb {Z} .b\oplus \mathbb {Z} .c}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta _{2}(P)=\mathbb {Z} .R\oplus \mathbb {Z} .V}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta _{2}(P)=\mathbb {Z} .R\oplus \mathbb {Z} .V}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7e1555730c966bb7230c341c1ee486119a081705.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.203ex; height:2.843ex;" alt="{\displaystyle \Delta _{2}(P)=\mathbb {Z} .R\oplus \mathbb {Z} .V}" loading="lazy">.

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{1}(a)=\delta _{1}(b)=t-s,\ \delta _{1}(c)=0}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/3344ba642b86aef5774be46f2989e5fa34eb19f4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:31.765ex; height:2.843ex;" alt="{\displaystyle \delta _{1}(a)=\delta _{1}(b)=t-s,\ \delta _{1}(c)=0}" loading="lazy"> et donc <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{0}(P)=\Delta _{0}(P)/Im\ \delta _{1}\sim \mathbb {Z} }">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

<msub>

</mrow>

</msub>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{0}(P)=\Delta _{0}(P)/Im\ \delta _{1}\sim \mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/97af995ce9ecc0f2b41b7e8229212f4d980e80fa.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:27.874ex; height:2.843ex;" alt="{\displaystyle H_{0}(P)=\Delta _{0}(P)/Im\ \delta _{1}\sim \mathbb {Z} }" loading="lazy">.

On a <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Ker\ \delta _{1}=\mathbb {Z} .c+\mathbb {Z} (b-a)}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Ker\ \delta _{1}=\mathbb {Z} .c+\mathbb {Z} (b-a)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/44d9d8be91cce8f7e1f5c996f24fecea8185eebb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:24.823ex; height:2.843ex;" alt="{\displaystyle Ker\ \delta _{1}=\mathbb {Z} .c+\mathbb {Z} (b-a)}" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Im\ \delta _{2}=\mathbb {Z} .(-a+b+c)+\mathbb {Z} .(a-b+c)}">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Im\ \delta _{2}=\mathbb {Z} .(-a+b+c)+\mathbb {Z} .(a-b+c)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ed1b2a007adf9f7736bb2b60234af92b5d5da7ea.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:40.244ex; height:2.843ex;" alt="{\displaystyle Im\ \delta _{2}=\mathbb {Z} .(-a+b+c)+\mathbb {Z} .(a-b+c)}" loading="lazy">. Finalement <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{1}(P)\sim \mathbb {Z} /2\mathbb {Z} }">

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{1}(P)\sim \mathbb {Z} /2\mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/62aa322ab1284ff8f8c9a1ae6c20eca263d9a590.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.064ex; height:2.843ex;" alt="{\displaystyle H_{1}(P)\sim \mathbb {Z} /2\mathbb {Z} }" loading="lazy">. il y a une petite finesse ici, c n'est pas dans <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Im\ \delta _{2}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Im\ \delta _{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/5d08aeabbc714aa3d05305c730e81b2bdf0221ae.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:5.879ex; height:2.676ex;" alt="{\displaystyle Im\ \delta _{2}}" loading="lazy"> mais 2c y est.

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \delta _{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28152a70ffd4f5ba1fd1cf6b8f98c02c952a3002.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.087ex; height:2.676ex;" alt="{\displaystyle \delta _{2}}" loading="lazy"> est injective donc <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{2}(P)=0}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{2}(P)=0}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/bedfd64a61c91b6eb6e0da15897bd7134992066d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:10.801ex; height:2.843ex;" alt="{\displaystyle H_{2}(P)=0}" loading="lazy">.

<div class="mw-heading mw-heading2"><h2 id="Résultats_généraux">Résultats généraux</h2></div>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{0}(X)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7bc53201822527a2f730e2cf8d6f7e01ad75630c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.775ex; height:2.843ex;" alt="{\displaystyle H_{0}(X)}" loading="lazy"> est un <a href="Groupe_ab%C3%A9lien_libre" title="Groupe abélien libre">groupe abélien libre</a> engendré par les composantes connexes de X.</li>

<li>Si X a plusieurs composantes connexes <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (X_{i})_{i\in I},H_{n}(X)=\oplus _{i\in I}H_{n}(X_{i})}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (X_{i})_{i\in I},H_{n}(X)=\oplus _{i\in I}H_{n}(X_{i})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/dd45ac8efcddd79a0a005f739338b8150c8e4f9f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:30.545ex; height:2.843ex;" alt="{\displaystyle (X_{i})_{i\in I},H_{n}(X)=\oplus _{i\in I}H_{n}(X_{i})}" loading="lazy">.</li>

<li>Si X est connexe, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{1}(X)}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{1}(X)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/1daf37d45ddbb3999d6395aa6cd3b2275da6cbf1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.775ex; height:2.843ex;" alt="{\displaystyle H_{1}(X)}" loading="lazy"> est l'<a href="Ab%C3%A9lianis%C3%A9" class="mw-redirect" title="Abélianisé">abélianisé</a> du <a href="Groupe_fondamental" title="Groupe fondamental">groupe fondamental</a> <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \pi _{1}(X)}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \pi _{1}(X)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/c502a8f1054224532cb495be2f6b5e65f660c2aa.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.169ex; height:2.843ex;" alt="{\displaystyle \pi _{1}(X)}" loading="lazy">.</li>

<li>En notant <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S^{n}}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S^{n}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ee006452a59bf1eb29983b4412348b66517a2d23.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.74ex; height:2.343ex;" alt="{\displaystyle S^{n}}" loading="lazy"> la sphère de dimension n, on a <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{0}(S^{n})=\mathbb {Z} }">

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{0}(S^{n})=\mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/a627c60b27641aa9c32a586f338e5c9443b05d55.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.184ex; height:2.843ex;" alt="{\displaystyle H_{0}(S^{n})=\mathbb {Z} }" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{n}(S^{n})=\mathbb {Z} }">

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{n}(S^{n})=\mathbb {Z} }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/e79f14124e07bf52ddc26d1b036b3596e2ffa177.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.348ex; height:2.843ex;" alt="{\displaystyle H_{n}(S^{n})=\mathbb {Z} }" loading="lazy"> et <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle H_{p}(S^{n})=0}">

<msub>

</mrow>

</msub>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H_{p}(S^{n})=0}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/080a272153a0d18f4de5c1579466bd75cf4b49fe.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:11.801ex; height:3.009ex;" alt="{\displaystyle H_{p}(S^{n})=0}" loading="lazy"> dans tous les autres cas.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Notes_et_références">Notes et références</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> <abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Glen E. Bredon <a href="https://en.wikipedia.org/wiki/Glen_Bredon" class="extiw external" title="en:Glen Bredon">(en)</a>, <cite class="italique" lang="en">Topology and Geometry</cite> [détail de l’édition]<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Topology+and+Geometry&rft.aulast=Bredon&rft.aufirst=Glen+E.&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AComplexe+simplicial">, <a rel="nofollow" class="external text" href="https://books.google.com/books?id=G74V6UzL_PUC&pg=PA246">Definition <abbr class="abbr" title="4">IV</abbr>.21.1</a> sur <a href="Google_Livres" title="Google Livres">Google Livres</a>.

</li>

</ol></div>

</div>

<div class="mw-heading mw-heading2"><h2 id="Voir_aussi">Voir aussi</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Bibliographie">Bibliographie</h3></div>

<ul><li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <a href="James_Waddell_Alexander_II" title="James Waddell Alexander II">James W. Alexander</a>, « <cite style="font-style:normal" lang="en">The combinatorial theory of complexes</cite> », <a href="Annals_of_Mathematics" title="Annals of Mathematics">Ann. Math.</a>, <abbr class="abbr" title="deuxième">2e</abbr> série, <abbr class="abbr" title="volume">vol.</abbr> 31, <abbr class="abbr" title="numéro">no</abbr> 2,‎ <time>1930</time>, <abbr class="abbr" title="pages">p.</abbr> 292-320 (<a href="JSTOR" title="JSTOR">JSTOR</a> <a rel="nofollow" class="external text" href="https://jstor.org/stable/1968099">1968099</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+combinatorial+theory+of+complexes&rft.jtitle=Ann.+Math.&rft.issue=2&rft.aulast=Alexander&rft.aufirst=James+W.&rft.date=1930&rft.volume=31&rft.pages=292-320&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AComplexe+simplicial"></li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <a href="Allen_Hatcher" title="Allen Hatcher">Allen Hatcher</a>, <cite class="italique" lang="en">Algebraic Topology</cite>, New York, <a href="Cambridge_University_Press" title="Cambridge University Press">CUP</a>, <time>2001</time>, 544 <abbr class="abbr" title="pages">p.</abbr> (<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> 978-0-521-79540-1, <a rel="nofollow" class="external text" href="http://www.math.cornell.edu/~hatcher/AT/ATpage.html">lire en ligne</a>)<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Algebraic+Topology&rft.place=New+York&rft.pub=CUP&rft.aulast=Hatcher&rft.aufirst=Allen&rft.date=2001&rft.tpages=544&rft.isbn=978-0-521-79540-1&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AComplexe+simplicial"> — On y trouvera tout sur les ∆-complexes et l'homologie simpliciale.</li>

<li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <a href="Edwin_Spanier" title="Edwin Spanier">Edwin Spanier</a>, Algebraic Topology, <a href="Springer_Verlag" class="mw-redirect" title="Springer Verlag">Springer Verlag</a>, 1994 (<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> 978-0-38794426-5) — Les complexes simpliciaux y sont étudiés en détail.</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Liens_externes">Liens externes</h3></div>

Victor Mouquin, « <a rel="nofollow" class="external text" href="http://cqfd.epfl.ch/webdav/site/cqfd/shared/projets/igat/Complexes%20simpliciaux%20et%20triangulation%20-%20Victor%20Mouquin.pdf"><cite style="font-style:normal;">Complexes simpliciaux et triangulation</cite></a> », sur <a href="%C3%89cole_polytechnique_f%C3%A9d%C3%A9rale_de_Lausanne" title="École polytechnique fédérale de Lausanne">EPFL</a>, <time>2006</time>

<div class="mw-heading mw-heading3"><h3 id="Articles_connexes">Articles connexes</h3></div>

<a href="Topologie_num%C3%A9rique" title="Topologie numérique">Topologie numérique</a>

<ul id="bandeau-portail" class="bandeau-portail"><li> Portail des mathématiques </li> </ul></div><div><div class="zim-footer">

Cet article est issu de <a class="external text" title="Dernière modification le 2025-09-23" href="https://fr.wikipedia.org/wiki/?title=Complexe_simplicial&oldid=229189984">Wikipédia</a>. Sauf mention contraire, le texte est disponible sous <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">Creative Commons Attribution-Share Alike 4.0</a>. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

</div>

</div></div>

</div>

</main>

</div>

</body></html>